문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 뢰벤하임-스콜렘 정리 (문단 편집) == 함의 == 한편 뢰벤하임-스콜렘 정리는 수리 논리학적 정리로서 정리 그 자체의 중요성만큼이나 그것이 함의하는 바의 중요성이 큰 정리이기도 하다. 뢰벤하임-스콜렘 정리를 응용해 철학적인 문제들을 다룬 대표적인 수리철학자가 콰인이다. [[윌러드 밴 오먼 콰인]] 문서에 서술되어 있는 '번역 불확정성' 문제가 바로 이 뢰벤하임-스콜렘 정리로부터 비롯되는 것이다. 우리는 어떤 문장에 대해 그 논리적 구조가 완전히 같은 서로 다른 해석을 생각할 수 있으며, 따라서 번역의 불확정성이 발생한다는 것이 번역 불확정성 문제의 논리학적 근거였다. 그리고 이 번역 불확정성 문제는 [[과학철학]]에서 말하는 미결정성 문제로 이어진다. 어떤 현상에 대해 똑같은 설명력을 제공하는 논리적 구조가 동일한 이론 [math(T)]와 [math(T')]이 제시될 수 있다는 발상 역시, 뢰벤하임-스콜렘 정리로부터 시작되는 논의의 연장인 것이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기